Loops with Abelian Inner Mapping Groups: An Application of Automated Deduction
نویسندگان
چکیده
We describe a large-scale project in applied automated deduction concerned with the following problem of considerable interest in loop theory: If Q is a loop with commuting inner mappings, does it follow that Q modulo its center is a group and Q modulo its nucleus is an abelian group? This problem has been answered affirmatively in several varieties of loops. The solution usually involves sophisticated techniques of automated deduction, and the resulting derivations are very long, often with no higher-level human proofs available.
منابع مشابه
Bruck Loops with Abelian Inner Mapping Groups
Bruck loops with abelian inner mapping groups are centrally nilpotent of class at most 2.
متن کاملOn abelian inner mapping groups of finite loops
In this paper we consider finite loops of specific order and we show that certain abelian groups are not isomorphic to inner mapping groups of these loops. By using our results we are able to construct a finite solvable group of order 120 which is not isomorphic to the multiplication group of a finite loop.
متن کاملMultiplication groups and inner mapping groups of Cayley–Dickson loops
The Cayley–Dickson loop Qn is the multiplicative closure of basic elements of the algebra constructed by n applications of the Cayley–Dickson doubling process (the first few examples of such algebras are real numbers, complex numbers, quaternions, octonions, sedenions). We establish that the inner mapping group Inn(Qn) is an elementary abelian 2-group of order 2 −2 and describe the multiplicati...
متن کاملAbelian Extensions and Solvable Loops
Based on the recent development of commutator theory for loops, we provide both syntactic and semantic characterization of abelian normal subloops. We highlight the analogies between well known central extensions and central nilpotence on one hand, and abelian extensions and congruence solvability on the other hand. In particular, we show that a loop is congruence solvable (that is, an iterated...
متن کاملBracket Products on Locally Compact Abelian Groups
We define a new function-valued inner product on L2(G), called ?-bracket product, where G is a locally compact abelian group and ? is a topological isomorphism on G. We investigate the notion of ?-orthogonality, Bessel's Inequality and ?-orthonormal bases with respect to this inner product on L2(G).
متن کامل